2.7.4 Quantifiers